Module isotope::ctx [−][src]
Expand description
Contexts for creating, normalizing, and type-checking isotope
terms
Modules
cons | Contexts for hash-consing terms |
eq | Contexts for equality-checking terms |
eval | Evaluation contexts |
subst | Contexts for substituting terms |
ty | Contexts for type-checking terms |
Type Definitions
StandardCtx | A standard typing context |